منابع مشابه
Concurrent Inference Graphs
Since at least the early 1980s there has been an effort to utilize multiple processors for logical reasoning. Prior to the rise of the multi-core desktop computer, this often meant parallel algorithms on specialized hardware. Parallel logic programming systems designed during that same period were less attached to a particular parallel architecture, but parallelizing Prolog is a very complex pr...
متن کاملConcurrent Inference through Dual Transformation
This paper presents two somewhat independent results and sketches a mechanism that could tie these results together to form an automated theorem proving method. The first point is a correct and complete inference method for first-order logic based on the transformation between conjunctive and disjunctive canonical normal forms. This method, although apparently very inefficient, presents interes...
متن کاملConcurrent Reasoning with Inference Graphs
Since at least the early 1980s there has been an effort to utilize multiple processors for logical reasoning. Prior to the rise of the multi-core desktop computer, this often meant parallel algorithms on specialized hardware. Parallel logic programming systems designed during that same period were less attached to a particular parallel architecture, but parallelizing Prolog is a very complex pr...
متن کاملAn Agent Architecture for Concurrent Bilateral Negotiations
We present an architecture that makes use of symbolic decision-making to support agents participating in concurrent bilateral negotiations. The architecture is a revised version of previous work with the KGP model [23, 12], which we specialise with knowledge about the agent’s self, the negotiation opponents and the environment. Our work combines the specification of domain-independent decision-...
متن کاملIn response to Determinants of bilateral audiometric notches in noise-induced hearing loss.
OBJECTIVES/HYPOTHESIS To explore the possible determinants of bilateral audiometric notches in noise-induced hearing loss (NIHL). STUDY DESIGN Prospectively enrolled cohort with cross-sectional analysis. METHODS Male workers (n = 412) with exposure to continuous loud noise (noise exposure level normalized to a nominal 8-hour working day >75 dBA) during work were included in this cohort stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Acustica united with Acustica
سال: 2018
ISSN: 1610-1928
DOI: 10.3813/aaa.919218